Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Among the visits below, we note 2 long-term visits: the 6-month visit of Matias Lee (paid by a EADIC II - Erasmus Mundus scholarship); and the sabbatical year of Xian Xu, from East China University of Science and Technology, Shanghai (paid a scholarship from the Chinese Science Foundation).
Peter Hofner, Nicta, Sydney, Australia. 1 week end of January. Topic: Formal Methods for Wireless Networks.
Martin Avanzini, Institute of Compute Science, University of Innsbruck, Austria. 23 to 27 April, 2012. Topic: order-theoretic approaches to complexity analysis of functional programs.
Marco Carbone, IT University of Copenhagen. A week in May/June 2012. Topic: faults and compensations in choreography languages.
Raju Halder, Macquarie University, Australia. 2 days in May 2012. Topic: Abstract Interpretation and concurrency.
Luca Fossati, Imperial College London. A week in May 2012. Topic: Liveness properties by means of types in the -calculus.
Xian Xu has began in May a year sabbatical in Focus. He is lecturer at the East China University of Science and Technology in Shanghai.
Matias David Lee. Currently PhD student at Universidad Nacional de Córdoba, Argentina, has spent 5 months during 2012, from January to May (having arrived in November 2011), for a long-term visit.
Bertrand Meyer, ETH Zurich. One day in September 2012. Topic: Concurrent Object-Oriented Programming.
Mariangiola Dezani, Univ. Turin, Italy. 4 days October 2012. Topic: Session Types.
Clement Aubert, LIPN Université Paris 13. From 5 to 16 November 2012. Topic: implicit complexity and the geometry of interaction.
Matthieu Perrinel, LIP ENS Lyon. From 17 to 21 December 2012. Topic: context semantic and decideable criteria for complexity analysis.